In lieu of an abstract, here is a brief excerpt of the content:Comments on “Moral Complicity in Induced Pluripotent Stem Cell Research”W. Malcolm Byrnes, Ph.D. and Edward J. FurtonIn his article titled “Moral Complicity in Induced Pluripotent Stem Cell Research,” Mark T. Brown (2009) unfortunately mischaracterizes my ethical analysis of the use of induced pluripotent stem (iPS) cells for replacement therapies, or treatments (Byrnes 2008). In my paper, which Brown cites, I argue that, just as it is ethically acceptable (...) for parents to allow their children and themselves to be immunized using vaccines produced by cell lines derived from human fetuses aborted in the past, it is also acceptable for persons in the future to benefit from treatments that use iPS cells validated using human embryonic stem (ES) cell lines [End Page 202] derived in the past. The assumption I make is that iPS cells would have to be shown to be functionally equivalent to human ES cells—i.e., validated—before they could be used for cell replacement treatments. (If it turns out that this assumption is incorrect, and primate or even mouse ES cells can be used for the validation, then all residual ethical problems will disappear and there will be no ethical problems whatsoever associated with iPS cells.) I wrote:... [I]n both cases, the origin of the treatment is in a one-time event: either the one-time use of aborted fetuses to obtain cell lines (e.g., MRC-5 and WI- 38) to grow weakened virus strains for vaccine production, or the one-time destruction of human embryos to validate iPS cells, which then effectively replace embryonic stem cells. In the latter case, if no additional embryonic stem cell lines are derived, then derivation of the existing lines could be considered a “one-time” event in the past, albeit an event that extended over a several-year period(Byrnes 2008, p. 287, emphasis added).Note the phrase “if no additional embryonic stem cell lines are derived.” The derivation of ES cell lines inherently involves destruction of embryos; indeed, that is why many people, including me, are opposed to human ES cell research. In my article, I am arguing that, if no additional ES cell lines are derived, then no additional human embryos will be destroyed, and the destruction of human embryos will lie in the past. In this case, embryo destruction could be considered a past event, just as the abortion of a human fetus from which vaccine-producing cell lines were derived is a past, albeit tragic, event.In the process of building his argument that proponents of iPS cell research are morally complicit in embryo destruction, Brown (2009, p. 15) casts me as being in favor of the “derivation of new embryonic stem [cell lines].” This is the exact opposite of my position. In fact, I am opposed to further destruction of human embryos. I believe that the hundreds of ES cell lines already in existence are more than sufficient to validate iPS cells and so no additional lines need to be derived. This means that no additional human embryos will need to be destroyed.Apparently based on the misperception that I support future destruction of human embryos, Brown concludes that “Byrnes’s endorsement of ongoing iPSC validation studies would seem to implicate him and those who follow his lead in formal and material complicity in what they perceive as moral evil” (p. 16). He writes that “explicit formal complicity would attach because he [Byrnes] knowingly and intentionally recommends that embryos be killed in order to facilitate a transition to a future in which no more embryos need be destroyed” (p. 16). Additionally, my “followers” and I would be guilty of “proximate material complicity” as well as “remote material complicity” (p. 16). Unfortunately, this broad condemnation is based on a misconception of my actual position.An additional problem involves Brown’s use of a quotation he attributes to me: [End Page 203]Once embryonic stem cells are used to successfully validate iPS cells, they will no longer be needed and their association with iPS cells will lie in the past. Is there not an element of sadness and resignation in accepting something (iPS cells) associated with an unjust act (destruction of an... (shrink)

According to non-doxastic theories of propositional faith, belief that p is not necessary for faith that p. Rather, propositional faith merely requires a ‘positive cognitive attitude’. This broad condition, however, can be satisfied by several pragmatic approaches to a domain, including fictionalism. This paper shows precisely how fictionalists can have faith given non-doxastic theory, and explains why this is problematic. It then explores one means of separating the two theories, in virtue of the fact that the truth of the propositions (...) in a discourse is of little consequence for fictionalists, whereas their truth matters deeply for the faithful. Although promising, this approach incurs several theoretical costs, hence providing a compelling reason to favour a purely doxastic account of faith. (shrink)

Analytic philosophers have, since the pioneering work of B.K. Matilal, emphasized the contributions of Nyāya philosophers to what contemporary philosophy considers epistemology. More recently, scholarly work demonstrates the relevance of their ideas to argumentation theory, an interdisciplinary area of study drawing on epistemology as well as logic, rhetoric, and linguistics. This paper shows how early Nyāya theorizing about argumentation, from Vātsyāyana to Jayanta Bhaṭṭa, can fruitfully be juxtaposed with the pragma-dialectic approach to argumentation pioneered by Frans van Eemeren. I illustrate (...) the implications of this analysis with a case study from Jayanta Bhaṭṭa’s satirical play, Much Ado about Religion (Āgamaḍambara). (shrink)

This paper undertakes textual exegesis and rational reconstruction of Mukula Bhaṭṭa’s Abhidhā-vṛttta-mātṛkā, or “The Fundamentals of the Communicative Function.” The treatise was written to refute Ānandavardhana’s claim, made in the Dhvanyāloka, that there is a third “power” of words, vyañjanā (suggestion), beyond the two already accepted by traditional Indian philosophy: abhidhā (denotation) and lakṣaṇā(indication).1 I argue that the explanation of lakṣaṇā as presented in his text contains internal tensions, although it may still be a compelling response to Ānandavardhana.

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

Are extreme beliefs constitutive of echo chambers, or only typically caused by them? Or are many echo chambers unproblematic, amplifying relatively benign beliefs? This paper details the conceptual relations between echo chambers and extreme beliefs, showing how different conceptual choice-points in how we understand both echo chambers and extreme beliefs affects how we should evaluate, study, and engage with echo chambering groups. We also explore how our theories of extreme beliefs and echo chambers shape social scientific research and contribute in (...) a practical way when treating these phenomena, focusing on examples of climate change scepticism. (shrink)

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that they know them, (...) or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Criminal law theory made a significant advance roughly thirty years ago when George Fletcher popularized the important conceptual distinction between justifications and excuses. In the intervening years, however, very little progress has been made in exploring the structure and function of justification defenses. The reason for this failure, I suggest, is a widely shared misconception about their place within the criminal law’s institutional structure. Contrary to what is generally believed, it is not up to trial courts to decide ex post (...) facto what conduct is justified and what is not. This determination is made ex ante by other institutional actors such as private fiduciaries, public officials, and sometimes, ordinary citizens caught in extraordinary circumstances. The court’s role is simply to review the validity of that prior exercise of decision-making discretion. More broadly, my study is intended to serve as a reminder of the importance of institutional structure in criminal law. It is almost always misleading to address issues in criminal law by way of abstract moral theorizing, as is often done, because this leaves out the crucial question of institutional division of labor. Before addressing the substantive aspect of particular questions—what conduct should be prohibited, justified, or excused—we must first address ourselves to the institutional questions that I have called the problems of authority, discretion, and legality. These institutional questions receive their most thorough treatment in two other areas of law: the private law of fiduciaries and public administrative law. If we wish to make progress in understanding justification defenses—and the institutional structure of criminal law more generally—I argue that it is to these areas of law that we should attend. (shrink)

Do we insult, offend or slight a speaker when we refuse her testimony? Do we compliment, commend or extol a speaker when we accept her testimony? I argue that the answer to both of these questions is “yes”, but only in some instances, since these respective insults and compliments track the reasons a hearer has for rejecting or accepting testimony. When disbelieving a speaker, a hearer may insult her because she judges the speaker to be either incompetent as a knower (...) or insincere as a teller. However, there are many instances where we reject testimony without making this negative evaluation of the speaker, and as such, without paying her an insult. Testimonial compliments are fewer in number, and are not constitutive of “everyday” testimonial exchanges, since, speakers who are competent as knowers and sincere as tellers are merely behaving correctly in accordance with the norms of testifying. Nevertheless, deferring to an authority on belief can be complimentary to that speaker if by doing so we judge her to have some mastery in a particular domain. Testimonial insults and compliments have important moral implications, particularly with regard to epistemic injustice and therapeutic trust. (shrink)

There has been a recent surge of research interest in videogames of moral engagement for entertainment, advocacy and education. We have seen a wealth of analysis and several theoretical models proposed, but experimental evaluation has been scarce. One of the difficulties lies in the measurement of moral engagement. How do we meaningfully measure whether players are engaging with and affected by the moral choices in the games they play? In this paper, we survey the various standard psychometric instruments from the (...) moral psychology literature and discuss how they might be applied in the evaluation of games. (shrink)

Historically the focus of moral decision-making in games has been narrow, mostly confined to challenges of moral judgement (deciding right and wrong). In this paper, we look to moral psychology to get a broader view of the skills involved in ethical behaviour and how these skills can be employed in games. Following the Four Component Model of Rest and colleagues, we identify four “lenses” – perspectives for considering moral gameplay in terms of focus, sensitivity, judgement and action – and describe (...) the design problems raised by each. To conclude, we analyse two recent games, The Walking Dead and Papers, Please, and show how the lenses give us insight into important design differences between these games. (shrink)

Historically the focus of moral decision-making in games has been narrow, mostly confined to challenges of moral judgement (deciding right and wrong). In this paper, we look to moral psychology to get a broader view of the skills involved in ethical behaviour and how they may be employed in games. Following the Four Component Model of Rest and colleagues, we identify four “lenses” – perspectives for considering moral gameplay in terms of focus, sensitivity, judgement and action – and describe the (...) design problems raised by each. To conclude, we analyse two recent games, The Walking Dead and Papers, Please, and show how the lenses give us insight into important design differences between them. (shrink)

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

Epistocratic systems of government have received renewed attention, and considerable opposition, in recent political philosophy. Although they vary significantly in form, epistocracies generally reject universal suffrage. But can they maintain the advantages of universal suffrage despite rejecting it? This paper develops an argument for a significant instrumental advantage of universal suffrage: that governments must take into account the interests of all of those enfranchised in their policy decisions or else risk losing power. This is called ‘the Interests Argument’. One problem (...) for the Interests Argument is that governments are not entirely responsive to voter interests, partly because voters do not always know what is in their interests. I will show how this epistemic claim can be used to support certain forms of epistocracy, but deny that it undermines the Interests Argument. I then consider whether we can identify forms of epistocracy that preserve the benefits of the Interests Argument whilst overcoming the epistemic limitations of democracy. I propose six forms of epistocracy, and argue that two are able to maintain these benefits, hence providing an evaluation of the relative strengths of these epistocracies with respect to one of the most valuable instrumental benefits of universal suffrage. Whilst epistocracy lacks many of the advantages of democracy, this paper shows that some forms fare better than others. (shrink)

Religious fundamentalism remains a significant force in global politics and religion. Despite a range of problems arising from fundamentalism, the beliefs fundamentalists hold can seem quite reasonable. This paper considers whether, in fact, fundamentalist beliefs are rational by drawing on recent ideas in contemporary epistemology. The paper presents a general theory of fundamentalist beliefs in terms of their propositional content and the high credence levels attributed to them. It then explores the way these beliefs are both acquired and retained by (...) applying ideas from the social epistemology of echo chambers and group belief. The paper then considers three accounts of the rationality of belief: evidentialist, reliabilist, and virtue-theoretic. It is argued that fundamentalist beliefs can be reasonable on evidentialist standards, but are nevertheless still problematic on reliabilist and virtue standards, since they are formed in environments that are not truth-conducive and which cultivate intellectual vice. (shrink)

What is the relationship between faith and evidence? It is often claimed that faith requires going beyond evidence. In this paper, I reject this claim by showing how the moral demands to have faith warrant a person in maintaining faith in the face of counter-evidence, and by showing how the moral demands to have faith, and the moral constraints of evidentialism, are in clear tension with going beyond evidence. In arguing for these views, I develop a taxonomy of different ways (...) of irrationally going beyond evidence and contrast this with rational ways of going against evidence. I then defend instances of having a moral demand to have faith, explore how this stands in tension with going beyond and against evidence, and develop an argument for the claim that faith involves a disposition to go against, but not beyond evidence. (shrink)

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

In Indian philosophy, a pramāṇa is an epistemic instrument or doxastic practice that results in a veridical cognition (in an event of knowing). For just about all Indian thinkers, perception (pratyakṣa) and inference (anumāna) are the foundational pramāṇas, although they debated energetically over how to characterize the content of the resultant cognitions and how to explain the basis for the authority of these pramāṇas. Debate also includes the relationship of knowledge to religious liberation, the role of scripture in knowing, and (...) the possibility of omniscience. (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

It is sometimes claimed that faith is a virtue. To what extent faith is a virtue depends on what faith is. One construal of faith, which has been popular in both recent and historical work on faith, is that faith is a matter of taking oneself to have been spoken to by God and of trusting this purported divine testimony. In this paper, I argue that when faith is understood in this way, for faith to be virtuous then it must (...) be accompanied by intellectual humility. I defend this view by showing how someone ought to respond to purported divine testimony if her faith is to be intellectually humble, and how, if it fails in this respect, it will instead be accompanied by the vices of either servility or arrogance. (shrink)

This special issue of Games and Culture focuses on the intersection between video games and ethics. This introduction briefly sets out the key research questions in the research field and identifies trends in the articles included in this special issue.

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

The topic of this essay is how non-realistic novels challenge our philosophical understanding of the moral significance of literature. I consider just one case: Joseph Heller’s Catch-22. I argue that standard philosophical views, based as they are on realistic models of literature, fail to capture the moral significance of this work. I show that Catch-22 succeeds morally because of the ways it resists using standard realistic techniques, and suggest that philosophical discussion of ethics and literature must be pluralistic if it (...) is to include all morally salient literature, and not just novels in the “Great Tradition” and their ilk. (shrink)

Religious fictionalism is the theory that it is morally and intellectually legitimate to affirm religious sentences and to engage in public and private religious practices, without believing the content of religious claims. This article discusses the main features of fictionalism, contrasts hermeneutic, and revolutionary kinds of fictionalism and explores possible historical and recent examples of religious fictionalism. Such examples are found in recent theories of faith, pragmatic approaches to religion, and mystical traditions in religious theology.

As robots and Artificial Intelligences become more enmeshed in rich social contexts, it seems inevitable that we will have to make them into moral machines equipped with moral skills. Apart from the technical difficulties of how we could achieve this goal, we can also ask the ethical question of whether we should seek to create such Artificial Moral Agents (AMAs). Recently, several papers have argued that we have strong reasons not to develop AMAs. In response, we develop a comprehensive analysis (...) of the relevant arguments for and against creating AMAs, and we argue that all things considered we have strong reasons to continue to responsibly develop AMAs. The key contributions of this paper are threefold. First, to provide the first comprehensive response to the important arguments made against AMAs by Wynsberghe and Robbins (in “Critiquing the Reasons for Making Artificial Moral Agents”, Science and Engineering Ethics 25, 2019) and to introduce several novel lines of argument in the process. Second, to collate and thematise for the first time the key arguments for and against AMAs in a single paper. Third, to recast the debate away from blanket arguments for or against AMAs in general, to a more nuanced discussion about the use of what sort of AMAs, in what sort of contexts, and for what sort of purposes is morally appropriate. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

This article raises a principled objection to the privatization of certain core police services. Whereas most of the literature critical of privatizing security services has focused on the negative consequences of doing so (corruption, waste, etc.), the argument here focuses squarely on the standing of private parties to perform police services. According to an important strain of liberal political theory, certain tasks are assigned to the state not because it is deemed to be more efficient at delivering those services but (...) simply because such services must be rendered by a party that acts in the name of the polity as a whole and not in the name of some narrower private interest. The author argues that all those policing functions – such as arrest, search, and detention – that require criminal law justification (because they involve conduct on the part of officers that is generally criminally prohibited) are of this nature. The article also summarizes the different dimensions of the larger privatization debate and traces the development of the debate about legitimate policing in the nineteenth and twentieth centuries. (shrink)

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)